An Engineering Approach towards Action Refinement

In the abstract modelling of distributed systems we may need methods to replace abstract behaviours by more concrete behaviours which are closer to implementation mechanisms. Furthermore, we may want these methods to preserve the correctness of such a replacement. This paper introduces an approach towards action refinement in which an abstract action is replaced by a concrete activity. This approach is based on a careful consideration of the `action' and `causality relation' architectural concepts, which enable an abstract action to be replaced by many alternative concrete activities in a general way. This approach is based on the application of abstraction rules to determine whether a concrete activity conforms to an abstract action, considering the context in which the concrete activity and the abstract action are embedde

Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA

This paper examines the influence of the Raf Kinase Inhibitor Protein (RKIP) on the Extracellular signal Regulated Kinase (ERK) signalling pathway [5] through modelling in a Markovian process algebra, PEPA [11]. Two models of the system are presented, a reagent-centric view and a pathway-centric view. The models capture functionality at the level of subpathway, rather than at a molecular level. Each model affords a different perspective of the pathway and analysis. We demonstrate the two models to be formally equivalent using the timing-aware bisimulation defined over PEPA models and discuss the biological significance

On-disk coronal rain

Small and elongated, cool and dense blob-like structures are being reported with high resolution telescopes in physically different regions throughout the solar atmosphere. Their detection and the understanding of their formation, morphology and thermodynamical characteristics can provide important information on their hosting environment, especially concerning the magnetic field, whose understanding constitutes a major problem in solar physics. An example of such blobs is coronal rain, a phenomenon of thermal non- equilibrium observed in active region loops, which consists of cool and dense chromospheric blobs falling along loop-like paths from coronal heights. So far, only off-limb coronal rain has been observed and few reports on the phenomenon exist. In the present work, several datasets of on-disk H{\alpha} observations with the CRisp Imaging SpectroPolarimeter (CRISP) at the Swedish 1-m Solar Telescope (SST) are analyzed. A special family of on-disk blobs is selected for each dataset and a statistical analysis is carried out on their dynamics, morphology and temperatures. All characteristics present distributions which are very similar to reported coronal rain statistics. We discuss possible interpretations considering other similar blob-like structures reported so far and show that a coronal rain interpretation is the most likely one. Their chromospheric nature and the projection effects (which eliminate all direct possibility of height estimation) on one side, and their small sizes, fast dynamics, and especially, their faint character (offering low contrast with the background intensity) on the other side, are found as the main causes for the absence until now of the detection of this on-disk coronal rain counterpart.Comment: 18 pages, 10 figures. Accepted for Solar Physic